FindInstance
FindInstance[expr,vars] finds an instance of vars that makes the statement expr be True.
FindInstance[expr,vars,dom] finds an instance over the domain dom. Common choices of dom are Complexes, Reals, Integers, and Booleans.
FindInstance[expr,vars,dom,n] finds n instances.
Please visit the official Wolfram Language Reference for more details and examples on core symbols.